واژگان
| .Assoc | .Assoc |
| .Com | .Com |
| .D.N | .D.N |
| .DeM | .DeM |
| .Dist | .Assoc |
| .Equiv | .Equiv |
| .Exp | .Exp |
| .Impl | .Impl |
| .Taut | .Taut |
| .Trans | .Trans |
| Abs. | Absorption |
| Add. | Addition |
| C.D. | Constructive Dilemma |
| C.P | C.P |
| Conj. | Conjunction |
| D.S. | Disjunctive Syllogism |
| H.S. | Hypothetical Syllogism |
| M.P. | Modus Ponens |
| M.T. | Modus Tollens |
| Simp. | Simplification |
| استدلال معتبر مقدماتی | Elementary valid argument |
| استدلال برنمایانگر | Demonstrative argument |
| استلزام مادی | Material Implication |
| استنتاج طبیعی | Natural deduction |
| اصلی | Main connective |
| افزایش | Addition |
| افزونگی | Redundancy |
| انجمنی | Association |
| برهان خلف | Redutio to absurdum |
| برهان شرطی | Conditional Proof |
| برهان صوری اعتبار | Formal proof of validity |
| برهان غیرمستقیم اعتبار | Indirect Proof of Validity |
| پخش پذیری | Distribution |
| پسگرد از نتیجه | Backward from the conclusion |
| پیوست | Conjunction |
| ترانهش | Transposition |
| تصمیم پذیر | Decidable |
| تمام | Complete |
| توتولوژی | Tautology |
| توتولوژی و قضیه | Tautology and theorem |
| توجیه | Justification |
| جابجایی | Commutation |
| جذب | Absorption |
| دستگاه استنتاج طبیعی | System of natural deduction |
| دستگاه استوار | Sound system |
| دستگاه تمام | Complete system |
| دشوار سازنده | Constructive Dilemma |
| دو لِمّی سازنده | Constructive Dilemma |
| ربایش | Absorption |
| روند کارآمد | **No Eng Tit** |
| ساده گردانی | Simplification |
| سازگار | Inconsistency |
| صدق منطقی | Logical truth |
| فرض | Assumption |
| فرض تخلیه شده | Discharged assumption |
| قاعده برهان شرطی | Rule of Conditional Proof |
| قاعده جایگزینی | Rule of replacement |
| قضایای دمورگان | De Morgan’s Theorems |
| قضیه | Theorem |
| قلمرو مقدمه‌ِ فرضی | Scope of the assumed premise |
| قواعد استنتاج | Rules of inference |
| قواعد منطقی | Logical Rules |
| کارآمد | Efficient |
| گیرایش | Absorption |
| معضل سازنده | Constructive Dilemma |
| مفهوم معنایی | Semantical concept |
| مفهوم نحوی | Syntactical concept |
| مقدمه فرضی | Assumed Premise |
| نابستگی قاعده استنتاج | Independence of inference rule |
| ناسازگاری | Inconsistency |
| نقض دوگانه | Double Negation |
| نوزده قاعده استنتاج | |
| هم‌ارزی مادی | Material Equivalence |
| واگردان | Exportation |